From 1b4357f45235dffa968a5bf373a21ac318542cd9 Mon Sep 17 00:00:00 2001 From: Jim Blandy Date: Sun, 30 May 1993 18:24:08 +0000 Subject: [PATCH] * configure.in: Complain if srcdir points at an already-configured tree. --- configure1.in | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/configure1.in b/configure1.in index 4251cac07d1..9badb35e10d 100755 --- a/configure1.in +++ b/configure1.in @@ -354,6 +354,14 @@ case "${srcdir}" in * ) srcdir="`(cd ${srcdir}; pwd)`" ;; esac +#### Make sure that the source directory doesn't already have a +#### configured system in it. +if [ -f "${srcdir}/src/config.h" ] ; then + (echo "${progname}: the directory tree \`${srcdir}' is being used as a build" + echo " directory right now; it has been configured in its own right." + echo " You can't use srcdir in this situation.") >&2 + exit 1 +fi ### Make the necessary directories, if they don't exist. if [ ! -d ./src ]; then -- 2.30.2